BankProc.java

package models;

import java.util.ArrayList;

public interface BankProc {
	
	/**
	 * 
	 * @pre p != null
	 * @post size() == size()@pre + 1
	 * @post get(p) != null
	 */
	public void addPerson(Person p) throws IllegalOperationException;
	
	/**
	 * @pre p != null
	 * @pre containsKey(p)
	 * @post !containsKey(p)
	 * @post size() == size()@pre - 1;
	 *  
	 */
	public void removePerson(Person p) throws IllegalOperationException;
	
	/**
	 * @pre p != null
	 * @pre a != null
	 * @pre get(p) != null
	 * @post get(p).size() == get(p).size()@pre + 1;
	 * @post !get(p).isEmpty()
	 * 
	 */
	public void addAccount (Person p, Account account) throws IllegalOperationException;
	
	/**
	 * @pre p != null
	 * @pre account != null
	 * @pre get(p) != null
	 * @post get(p).size() == get(p).size()@pre - 1
	 */
	public void removeAccount(Person p, Account account) throws IllegalOperationException;
	
	public void generateReportAdmin();
}